//GA OMP maxsat
//$Id: maxsat_ga_omp.cpp 186 2009-09-13 18:00:24Z Oleg.Bulychov $
#include "stdafx.h"

#include "../maxsat_ga.h"
#include "solvers/ga/ga_config.h"
#include "solvers/ga/ga_omp.h"
#include "src/heo/include/run_omp.h"

typedef Config<MaxSat_Config, GA_Config>        TConfig;
typedef MaxSat_Problem                          TProblem;
typedef MaxSat_Solution_GA                      TSolution;
typedef GA_OMP<TProblem, TSolution, TConfig>    TSolver;


int main(int argc, char* argv[])
{
    return Run_OMP<TSolver>(argc, argv, "MaxSat").retval;
}
//EOF!
